sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...

Le compilateur B est, avec le Générateur de Théorèmes et le démonstrateur de Théorèmes, l’un des outils principaux de l'Atelier B. Il permet l’analyse de la synta ...

Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.